Logical truth - PDFSEARCH.IO - Document Search Engine

Logical truth
Results: 321

#	Item
71	Low-Dimensional Embeddings of Logic Tim Rockt¨aschel§ Matko Bosnjak§ Sameer Singh† Sebastian Riedel§ § Department of Computer Science, University College London, UK † Computer Science & Engineering, University o Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-06-16 05:48:44 Logic Philosophy Reasoning Semantics Model theory Critical thinking Logical consequence Embedding Negation Inference Truth value Distributional semantics
72	An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-11-10 10:05:38 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Valuation Generalised Whitehead product Symbol
73	SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Theoretical computer science Software Logic Proof assistants Automated theorem proving Formal systems Logical truth Proof theory Isabelle ACL2 Coq Proof
74	LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-04-07 21:09:24 Logic Mathematical logic Abstraction Predicate logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Constructible universe Quantifier First-order logic
75	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
76	The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-01-25 06:33:11 Mathematics Mathematical analysis Integer sequences Probability theory Automated theorem proving Logic programming Logical truth Substitution Automatic sequence
77	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
78	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
79	λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:48 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Generalised Whitehead product Symbol
80	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar

UPDATE